Buy Used and New Helmut Veith Books

Results for Helmut Veith

Showing 1 to 3 of 3 results
Handbook of Model Checking Handbook of Model Checking by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

Handbook of Model Checking

by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem


ISBN 13: 9783319105741

Format: Hardcover (1260 pages)
Publisher: Springer
Published: 28 May 2016

Save for later

 
New : $117.42  
New : $117.42
Model Checking (Cyber Physical Systems Series) Model Checking (Cyber Physical Systems Series) by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith


ISBN 13: 9780262038836

Format: Hardcover (424 pages)
Publisher: MIT Press
Published: 21 Dec 2018

Save for later

 
New : $73.42  
New : $73.42